Поиск по сайту

HomeПоиск по сайту

Information

По вашему запросу найдено материалов: 1
Искать:
Leonova M.A., Devyanin P.N. «About methods of developing consistent description of the mrosl dp-model for os and dbms for its verification with Rodin and ProB TOOLS» // Applied Discrete Mathematics. Supplement 2021. №14 C.126-132